ringed space(数学,代数几何/拓扑):环空间,指一个拓扑空间 \(X\) 连同其上的一个“结构层” \(\mathcal{O}_X\)(把每个开集对应到一个交换环),通常记为 \((X,\mathcal{O}_X)\)。它是定义概形(scheme)等概念的基础。(在更专门的语境中,还有“局部环空间 local ringed space”等相关概念。)
/rɪŋd speɪs/
A ringed space consists of a topological space and a sheaf of rings on it.
环空间由一个拓扑空间以及其上的一个环层组成。
In algebraic geometry, many constructions become clearer when we treat a scheme as a locally ringed space and compare morphisms between ringed spaces.
在代数几何中,把概形视为局部环空间,并比较环空间之间的态射,能使许多构造更清晰。
ringed 来自 ring(环) + -ed(有……的),表示“带有环结构的”;space 来自拉丁语 spatium(空间、范围)。合起来直译为“带环的空间”,对应其数学含义:在“空间”上附加“环(函数)结构”。